VDict - Definition of fixed point combinator

Computing (FOLDOC) dictionary

fixed point combinator

Jump to user comments

mathematics (Y) The name used in combinatory logic for the

fixed point function, also written as "fix".

(1994-10-20)

Related search result for "fixed point combinator"

Words contain "fixed point combinator" in its definition in Computing (FOLDOC) dictionary:
fixed point fixed point combinator Mu least fixed point fix combinator fixed-point Brouwer Fixed-Point Theorem floating-point continuous function more...

Comments and discussion on the word "fixed point combinator"